A Minimal Connection Model of Abductive Diagnostic Reasoning

نویسندگان

  • Dekang Lin
  • Randy Goebel
چکیده

In this paper, we present a minimal connection model of abductive diagnostic reasoning. The domain knowledge is represented by a causal network. An explanation of a set of observations is a chain of causation events. These causation events constitute a scenario where all the observations can be observed. We define the best explanation to be the most probable explanation. The underlying causal model enables us to compute the probabilities of explanations from the conditional probabilities of the participating causation events. We then present an algorithm for finding the most probable explanations. Although probabilistic inference using belief networks is NP-hard in general, our algorithm is polynomial to the number of nodes in the networks and is exponential only to the number of observations to be explained, which, in any single case, is usually small.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Abductive Framework for Negation in Disjunctive Logic Programming

In this paper, we study an abductive framework for disjunctive logic programming that provides a new way to understand negation in disjunctive logic programming. We show that the deened framework captures the existing minimal model semantics based on (Extended) Generalised Closed World Assumption ((E)GCWA). This relationship between abduction and minimal model reasoning provides a methodology t...

متن کامل

Abduction and negation in disjunctive logic programming

In this paper, we study an abductive framework for disjunctive logic programming that provides a new way to understand negation in disjunctive logic programming. We show that the defined framework captures the existing minimal model semantics based on Generalised Closed World Assumption (GCWA). This relationship between abduction and minimal model reasoning provides a methodology to develop alg...

متن کامل

ABox Abduction in Description Logic

In this thesis we elaborate on logic-based automated reasoning techniques for abduction, driven by the principle of goal-oriented reasoning. In the first part we develop two variants of a computational framework for abduction in propositional logic, based on regular connection tableaux and resolution with set-of-support. The procedures are proven to be sound and complete calculi for finding con...

متن کامل

A Realistic Model for Diagnostic Problem Solving Using Abductive Reasoning Based on Parsimonious Covering Principle

In this paper, we propose a model for solving diagnostic problems based on abductive inference mechanism that uses parsimonious covering theory and add some new features to the general model of diagnostic problem solving. The knowledge pertaining to the model is assumed to be represented in the form of causal chaining, namely, hyper-bipartite network. The proposed model is evaluated against the...

متن کامل

Natural properties of abductive hypotheses in three-valued logic

This paper shows some interesting properties of Kleene’s threevalued logic in relation to abductive reasoning. A semantical characterization of abductive explanations is proposed, based on the notion of minimal three-valued model. This establishes a relation between the minimization problem in abductive reasoning and three-valued semantics, in the same sense as non-monotonic reasoning deals wit...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1990